Interactive BitVector Program Synthesizer
A final project for CS 560 that uses Z3 to enable users to interactively specify programs by suggesting differentiating inputs and allowing users to choose the correct output.
A final project for CS 560 that uses Z3 to enable users to interactively specify programs by suggesting differentiating inputs and allowing users to choose the correct output.